Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
361	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
362	STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer Add to Reading List Source URL: nesl.ee.ucla.edu Language: English - Date: 2005-10-01 21:19:04 Polyspace Program analysis Software testing Ada Programming language Formal methods Logic in computer science Static program analysis Dynamic program analysis Computing Software engineering Programming language theory
363	Formal Verification of Dead Code Elimination in Isabelle/HOL Jan Olaf Blech Add to Reading List Source URL: www.jblech.de Language: English - Date: 2007-11-14 03:32:18 Programming language theory Programming language implementation Compiler optimizations Static single assignment form Data-flow analysis Live variable analysis Eval Compiler Dead code elimination Computing Software engineering Compiler construction
364	VERIFICATION OR PROOF: JUSTIFICATION OF PYTHAGORAS’ THEOREM IN CHINESE MATHEMATICS CLASSROOMS Add to Reading List Source URL: www.emis.de Language: English - Date: 2006-02-06 19:19:30 Triangles Logical syntax Formal systems Logical truth Proof theory Pythagorean theorem Mathematical proof Theorem Pythagoras Logic Mathematics Geometry
365	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
366	Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2005-02-04 10:21:20 Automated theorem proving Formal methods Logic in computer science Proof theory SPARK Automated proof checking Formal verification Mathematical proof Automated reasoning Theoretical computer science Mathematics Applied mathematics
367	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
368	Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-19 21:35:38 Formal methods Programming idioms Computability theory Mathematical logic Formal verification ACL2 Recursion Correctness Isabelle Theoretical computer science Applied mathematics Computer programming
369	Correctness by Construction: Developing a Commercial Secure System Anthony Hall and Roderick Chapman Add to Reading List Source URL: www.anthonyhall.org Language: English - Date: 2009-06-24 07:47:13 Formal methods Program analysis Ada programming language SPARK Formal verification Static program analysis Common Criteria Software development process Requirement Computing Software engineering Programming language theory
370	Microsoft Word - EvansGoslingCarroll_ICWSM08_SUBMISSION Revision.doc Add to Reading List Source URL: www.aaai.org Language: English - Date: 2009-02-01 19:57:36 World Wide Web Social psychology Interpersonal perception Self-verification theory Facebook Personality psychology Social networking service Big Five personality traits Motion Picture Association of America film rating system Behavior Mind Behavioural sciences

UPDATE